Artículo
|
A characterization of the left exact categories whose exact completions are toposes :
|
Menni, Matías
|
(1999)
|
|
----------
|
Artículo
|
About N-quantifiers :
|
Menni, Matías
|
(2003)
|
|
----------
|
Artículo
|
Closure operators in exact completions :
|
Menni, Matías
|
(2001)
|
|
----------
|
Artículo
|
Cocomplete toposes whose exact completions are toposes :
|
Menni, Matías
|
(2007)
|
|
----------
|
Artículo
|
Combinatorial functional and differential equations applied to differential posets :
|
Menni, Matías
|
(2008)
|
|
----------
|
Artículo
|
Compatible operations on commutative residuated lattices :
|
Castiglioni, J. L.
|
(2008)
|
|
----------
|
Artículo
|
Continuous cohesion over sets :
|
Menni, Matías
|
(2014)
|
|
----------
|
Analítica
|
Finite presheaf categories as a nice setting for doing generic programming
|
Menni, Matías
|
|
|
----------
|
Artículo
|
Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness :
|
Lawvere, F. W.
|
(2015)
|
|
----------
|
Artículo
|
On some categories of involutive centered residuated lattices :
|
Castiglioni, J. L.
|
(2008)
|
|
----------
|